Theory of quantum computation and philosophy of mathematics. Part I

Towards Quantum Mathematics Part I: From Quantum Set Theory to Universal Quantum Mechanics

We develop the old idea of von Neumann of a set theory with an internal quantum logic in a modern categorical guise (i.e. taking the objects of the category H of (Pre-)Hilbert spaces and linear maps as the sets of the basic level). We will see that in this way it is possible to clarify the relationship between categorification and quantization and besides this to understand that in some sense a...

the analysis of the role of the speech acts theory in translating and dubbing hollywood films

از محوری ترین اثراتی که یک فیلم سینمایی ایجاد می کند دیالوگ هایی است که هنرپیش گان فیلم میگویند. به زعم یک فیلم ساز, یک شیوه متأثر نمودن مخاطب از اثر منظوره نیروی گفتارهای گوینده, مثل نیروی عاطفی, ترس آور, غم انگیز, هیجان انگیز و غیره, است. این مطالعه به بررسی این مسأله مبادرت کرده است که آیا نیروی فراگفتاری هنرپیش گان به مثابه ی اعمال گفتاری در پنج فیلم هالیوودی در نسخه های دوبله شده باز تولید...

Philosophy of Mathematics, Mathematics Education, and Philosophy of Mathematics Education

Proof Theory in Philosophy of Mathematics

A variety of projects in proof theory of relevance to the philosophy of mathematics are surveyed, including Gödel’s incompleteness theorems, conservation results, independence results, ordinal analysis, predicativity, reverse mathematics, speed-up results, and provability logics. Proof theory is the branch of mathematical logic in which proofs are studied as formal objects in their own right. I...

a new algorithm and software of individual life insurance and annuity computation

چکیده ندارد.